int
main(void)
{
  
  test_spindle();
  
  return (0);
}